TAGs: Solution of inequality